1. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings

by Mayr, Ernst W | Puech, Claude.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
2. Logics for concurrency : structure versus automata

by Moller, Faron | Birtwistle, Graham.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 004 MOL] (1).

Powered by Koha